-
1 генерирование условий верификации
( при доказательстве правильности программ) verification condition generationРусско-английский словарь по вычислительной технике и программированию > генерирование условий верификации
-
2 генерирование условий верификации
Information technology: verification condition generation (при доказательстве правильности программ)Универсальный русско-английский словарь > генерирование условий верификации
См. также в других словарях:
Инвариант — программный объект, не изменяющийся в процессе выполнения. Инварианты используется при доказательстве правильности программ. См. также: Исполнение программ Финансовый словарь Финам … Финансовый словарь
ЭВРИСТИКА — (от греч. heurisko отыскиваю, открываю) совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой… … Философская энциклопедия
МАТЕМАТИКА — уч. предмет в школе, в содержание к рого входят элементы арифметики, алгебры, начал анализа, евклидовой геометрии плоскости и пространства, аналитич. геометрии, тригонометрии. Преподавание М. направлено на овладение учащимися системой матем.… … Российская педагогическая энциклопедия
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия